basic
AntiSym(T;x,y.R(x;y)) == x, y:T. R(x;y)  R(y;x)  (x = y) 

latex

---

clarification:

basic
AntiSym(T;x,y.R(x;y)) == x:T, y:T. R(x;y)  R(y;x)  (x = y  T) 

latex

Up	rel 1, rel 1
Wellformedness Lemmas	anti sym wf, anti sym wf
Definitions	x:A. B(x), P  Q, s = t
FDL editor aliases	anti_sym